Knowledge compilation - PDFSEARCH.IO - Document Search Engine

Knowledge compilation
Results: 70

#	Item
11	AQUACULTURE EUROPE The annual meeting of the European Aquaculture Society Guidelines for preparing extended abstracts/short communications The compilation of extended abstracts and short communications of the oral and po Add to Reading List Source URL: www.was.org Language: English - Date: 2015-04-12 01:05:41 HTML element Author citation Proofreading Academic publishing Number Publishing Library science Knowledge Book Documents Citation
12	Compilation of Philosophy Presentations Year Presenter Presentation Name 2010 Add to Reading List Source URL: philosophy.sites.olt.ubc.ca Language: English - Date: 2013-04-29 18:04:51 Belief Philosophy Science Knowledge Epistemology
13	British Journal of Pharmacology (2009), 157, 1154–1156 © 2009 The Authors Journal compilation © 2009 The British Pharmacological Society All rights reservedwww.brjpharmacol.org COMMENTARY Add to Reading List Source URL: www.dcn.ed.ac.uk Language: English - Date: 2014-05-08 09:09:56 Systematic review Research methods Evaluation methods Medical statistics Design of experiments Disufenton sodium Stroke Meta-analysis Animal models of stroke Science Knowledge Research
14	Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols José Bacelar Almeida Manuel Barbosa Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Applied mathematics Proof of knowledge Zero-knowledge proof IP Communications protocol Vehicle Identification Number Formal verification NP XTR Theoretical computer science Cryptography Cryptographic protocols
15	D SHARP: Fast d-DNNF Compilation with sharpSAT Christian Muise1 , Sheila A. McIlraith1 , J. Christopher Beck2 , and Eric Hsu1 1 Department of Computer Science, University of Toronto, Toronto, Canada. {cjmuise, sheila, ei Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-03-14 09:53:05 Constraint programming Mathematics DPLL algorithm Knowledge compilation Connectivity Influence diagram Bayesian network Unit propagation Theoretical computer science Automated theorem proving Applied mathematics
16	Knowledge Compilation and Theory Approximation Henry Kautz and Bart Selman Presented by Kelvin Ku Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 18:11:39 Structure Universal algebra Horn clause Logic Mathematical logic Mathematics Model theory
17	Aggregation in Probabilistic Databases via Knowledge Compilation Robert Fink and Larisa Han and Dan Olteanu Deptartment of Computer Science, University of Oxford Wolfson Building, Parks Road, OX1 3QD Oxford, UK {robert.f Add to Reading List Source URL: vldb.org Language: English - Date: 2012-01-21 14:30:02 Algebraic structures Ring theory Semiring Relational model Relational algebra Symbol Polynomial ring Constructible universe Function Abstract algebra Mathematics Algebra
18	AQUACULTURE EUROPE The annual meeting of the European Aquaculture Society Guidelines for preparing extended abstracts/short communications The compilation of extended abstracts and short communications of the oral and po Add to Reading List Source URL: www.was.org Language: English - Date: 2015-01-06 23:02:37 HTML element Author citation Proofreading Academic publishing Number Publishing Library science Knowledge Book Documents Citation
19	AQUACULTURE EUROPE The annual meeting of the European Aquaculture Society Guidelines for preparing extended abstracts/short communications The compilation of extended abstracts and short communications of the oral and po Add to Reading List Source URL: www.was.org Language: English - Date: 2015-01-06 23:02:37 HTML element Author citation Proofreading Academic publishing Number Publishing Library science Knowledge Book Documents Citation
20	Microsoft Word - Compilation_Technical_Comments_Sept08_IWP_webposted.doc Add to Reading List Source URL: www.thegef.org Language: English - Date: 2013-08-01 12:28:54 Knowledge Global Environment Facility Biodiversity International waters Conservation biology Capacity building Environment Biology Conservation

UPDATE